// semmle-extractor-options: ${testdir}/../../../../resources/stubs/System.Windows.cs
